|
|
Ada 2012 Reference Manual. Language and Standard Libraries
by Taft, S. Tucker.
Publication:
. XXVIII, 921 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Multi-Agent Systems
by Cossentino, Massimo.
Publication:
. XVI, 391 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Sagonas, Kostis.
Publication:
. XIV, 261 p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by McMillan, Ken.
Publication:
. XIV, 794 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ada 2012 Rationale
by Barnes, John.
Publication:
. XI, 213 p. 3 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hinze, Ralf.
Publication:
. X, 241 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Decision Theory
by Perny, Patrice.
Publication:
. XII, 442 p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications of Declarative Programming and Knowledge Management
by Tompits, Hans.
Publication:
. XIII, 365 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Groves, Lindsay.
Publication:
. XVIII, 466 p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages
by Bois, André Rauber.
Publication:
. XVI, 151 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Fontaine, Pascal.
Publication:
. XII, 359 p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Legay, Axel.
Publication:
. XVII, 426 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
OpenMP in the Era of Low Power Devices and Accelerators
by Rendell, Alistair P.
Publication:
. X, 201 p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming and Nonmonotonic Reasoning
by Cabalar, Pedro.
Publication:
. XVIII, 570 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Hierons, Robert M.
Publication:
. XVIII, 321 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Galmiche, Didier.
Publication:
. X, 289 p. 34 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends in Functional Programming
by Loidl, Hans-Wolfgang.
Publication:
. X, 311 p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Beauty of Functional Code
by Achten, Peter.
Publication:
. XIV, 285 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multicore Software Engineering, Performance, and Tools
by Lourenço, João M.
Publication:
. X, 111 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Based Software Engineering
by Ruhe, Günther.
Publication:
. XVI, 326 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|